Bicategories of processes
نویسندگان
چکیده
منابع مشابه
Bicategories of Processes
The suspension loop construction is used to de ne a process in a symmetric monoidal category The algebra of such processes is that of symmetric monoidal bicategories Processes in categories with prod ucts and in categories with sums are studied in detail and in both cases the resulting bicategories of processes are equipped with opera tions called feedback Appropriate versions of traced monoida...
متن کاملBasic Bicategories
A concise guide to very basic bicategory theory, from the definition of a bicategory to the coherence theorem.
متن کاملBicategories of Concurrent Games
This paper summarises recent results on bicategories of concurrent games and strategies. Nondeterministic concurrent strategies, those nondeterministic plays of a game left essentially unchanged by composition with copy-cat strategies, have recently been characterized as certain maps of event structures. This leads to a bicategory of general concurrent games in which the maps are nondeterminist...
متن کاملIntroduction to linear bicategories
Linear bicategories are a generalization of bicategories, in which the one horizontal composition is replaced by two (linked) horizontal compositions. These compositions provide a semantic model for the tensor and par of linear logic: in particular, as composition is fundamentally noncommutative, they provide a suggestive source of models for noncommutative linear logic. In a linear bicategory,...
متن کاملThe Bicategories of Corings
To a B-coring and a (B, A)-bimodule that is finitely generated and projective as a right A-module an A-coring is associated. This new coring is termed a base ring extension of a coring by a module. We study how the properties of a bimodule such as separability and the Frobenius properties are reflected in the induced base ring extension coring. Any bimodule that is finitely generated and projec...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Pure and Applied Algebra
سال: 1997
ISSN: 0022-4049
DOI: 10.1016/s0022-4049(96)00012-6